Data Movement Optimisation in Point-Free Form
نویسندگان
چکیده
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a process for optimising the transport of data through point-free programs. This process systematically applies local transformations to achieve effective global optimisation. We describe the strategies we employ to ensure this process is tractable. This process has been implemented as an intermediate stage of a compiler. The optimiser is shown to be highly effective, producing code of comparable efficiency to hand-written code.
منابع مشابه
Application of Free Form Deformation Techniques in Evolutionary Design Optimisation
1. Abstract In the past decades evolutionary algorithms have been successfully applied to various design optimisation problems. It has been shown that the representation of the problem is crucial for a high performance of the method. One important aspect is the trade-off between the demands for a high geometric variability in shape generation and a minimum number of optimisation parameters. In ...
متن کاملFinite element simulation of two-point incremental forming of free-form parts
Two-point incremental forming method is considered a modern technique for manufacturing shell parts. The presence of bottom punch during the process makes this technique far more complex than its conventional counterpart i.e. single-point incremental forming method. Thus, the numerical simulation of this method is an essential task, which leads to the reduction of trial/error costs, predicts th...
متن کاملOptimisation of Healthcare Contracts: Tensions Between Standardisation and Innovation; Comment on “Competition in Healthcare: Good, Bad or Ugly?”
An important determinant of health system performance is contracting. Providers often respond to financial incentives, despite the ethical underpinnings of medicine, and payers can craft contracts to influence performance. Yet contracting is highly imperfect in both single-payer and multi-payer health systems. Arguably, in a competitive, multi-payer environment, contractual innovation may occur...
متن کاملThe Domain of Admissible Orientation concept: A new method for five-axis tool path optimisation
This work deals with the optimisation of tool paths in five-axis machining. The objective is to improve the kinematic behaviour of machine tools during milling. The orientation of the tool axis at each point of a tool path is optimised while ensuring quality constraints. These are modelled using the Domain of Admissible Orientation (DAO) concept expressed in the P-System and transformed into th...
متن کاملDirect Manipulation of Free-Form Deformation in Evolutionary Optimisation
The choice of an adequate representation is an important part of every evolutionary design optimisation. A exible representation which allows a huge number of design variation while getting along with a few parameters is preferable. In the past the Free-From Deformation method was successfully applied for design optimisation. In this diploma thesis an adaptive Free-Form Deformation is combined ...
متن کامل